#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <setjmp.h>
#include <stdarg.h>
#include <stddef.h>
#include <cmocka.h>

extern int test_core();

int main()
{
    int res = 0;

    res += test_core();

    return res;
}
